a^ib^jc^k context free grammar